/* FreeRTOS kernel for ESP32C3 */

#include <stdio.h>
#include "freertos/FreeRTOS.h"
#include "freertos/task.h"

void app_main(void)
{
    printf("Hello from FreeRTOS on ESP32C3!\n");
    
    /* Create tasks here */
    
    vTaskStartScheduler();
    
    /* Should never reach here */
    while(1);
}
